首页> 外文OA文献 >Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems

【2h】

Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems

机译：用于移动和无处不在系统的实时嵌入式软件的自动综合和验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Pao-Ann Hsiung; Shang-Wei Lin;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems [J] . Pao-Ann Hsiung, Shang-Wei Lin Computer Languages, Systems & Structures . 2008,第4期

机译：用于移动和无处不在系统的实时嵌入式软件的自动综合和验证
2. Real-Time Embedded Software Design for Mobile and Ubiquitous Systems [J] . Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin Journal of Signal Processing Systems . 2010,第1期

机译：移动和无处不在系统的实时嵌入式软件设计
3. Real-Time Embedded Software Design for Mobile and Ubiquitous Systems [J] . Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin Journal of signal processing systems for signal, image, and video technology . 2010,第1期

机译：移动和无处不在系统的实时嵌入式软件设计
4. Automatic Synthesis and Verification of Real-Time Embedded Software [C] . Pao-Ann Hsiung, Shang-Wei Lin Embedded and Ubiquitous Computing . 2004

机译：实时嵌入式软件的自动综合和验证
5. Design and implementation of AmbiTalk: A ubiquitous system for the automatic adaptation of mobile communication. [D] . Karmouch, Eric. 2006

机译：AmbiTalk的设计和实现：一种无处不在的移动通信自动适配系统。
6. Runtime verification of embedded real-time systems [O] . Thomas Reinbacher, Matthias Függer, Jörg Brauer -1

机译：嵌入式实时系统的运行时验证
7. Real-Time Embedded Software Design for Mobile and Ubiquitous Systems [O] . Pao-ann Hsiung, Shang-wei Lin, Chin-chieh Hung, 2010

机译：移动和无处不在系统的实时嵌入式软件设计
8. Automatic Verification and Synthesis of Finite-State Hard Real-Time Systems [R] . Dill, D. 1994

机译：有限状态硬实时系统的自动验证与综合

Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems

著录项

引文网络

相似文献

相关主题

期刊订阅